Gödelisierung

Gödelisierung
Gödelisierung,
 
eine von K. Gödel im Zusammenhang mit dem Beweis seines Unvollständigkeitssatzes (1930) entwickelte Technik, mit der man Symbolketten in Produkte von Primzahlpotenzen (Gödel-Zahlen) verwandeln kann. Die Gödelisierung ist eines der wichtigsten Werkzeuge der mathematischen Logik.
 
 
E. Nagel u. J. R. Newman: Der Gödelsche Beweis (a. d. Engl., 51992).

Universal-Lexikon. 2012.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Gödelisierung — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

  • Gödel-Code — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

  • Gödel-Isomorphie — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

  • Gödel-Isomorphismus — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

  • Gödel-Nummer — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

  • Gödel-Nummerierung — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

  • Gödel-Operator — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

  • Gödelnummer — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen in einer… …   Deutsch Wikipedia

  • Gödelnummerierung — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

  • Gödelzahl — Eine Gödelnummer ist eine natürliche Zahl, die einem Wort einer formalen Sprache nach einem gewissermaßen „durchschaubaren“ Verfahren – Gödelisierung – zugeordnet wird und dieses Wort eindeutig kennzeichnet. Alle über die Kodierung von Programmen …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”